Introduction

This page summarizes the trophies won by the tools for StateSpace. At this stage, we think this is not possible to provide a global trophy for the MCC @ Petri Net 2013.

Separated trophies for StateSpace

We first consider separately the two types of models.

Trophies for the “known” Models			Trophies for the “Surprise” Models
ITS-Tools 234 (points)	PNXDD 139 (points)	Marcie 129 (points)	Marcie 24 (points)	PNXDD 15 (points)	ITS-Tool 12 (points)

Global trophies for StateSpace

For this trophy, we use the following formula: results on “known” models + 2 x results on “Surprise” models.

Trophies for All Models
ITS-Tools 258 (points)	Marcie 177 (points)	PNXDD 169 (points)